COMMENT ⊗   VALID 00020 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	.s EXTERNAL PUBLICATIONS
C00005 00003	Allen, John, David Luckham, "An Interactive Theorem-Proving Program"
C00007 00004	Beauchamp, James, H. Von Foerster (eds.), <Music by Computers>,
C00013 00005	Cadiou, Jean M., Zohar Manna, "Recursive Definitions of Partial
C00019 00006	Duffield, Alan, A. Robertson, Carl Djerassi, Bruce Buchanan, G.
C00020 00007	Falk, Gilbert, "Scene Analysis Based on Imperfect Edge Data", <Proc.
C00026 00008	Garland, Stephan J., David Luckham, "Translating Recursive Schemes
C00028 00009	Hearn, Anthony, "Computation of Algebraic Properties of Elementary
C00031 00010	Ito, T., "Note on a Class of Statistical Recognition Functions",
C00032 00011	Kahn, Michael, Bernard Roth, "The Near-minimum-time Control of Open-loop
C00035 00012	Lederberg, Joshua, "Hamilton Circuits of Convex Trivalent Polyhedra",
C00039 00013	Manna, Zohar, "Properties of Programs and the First Order
C00049 00014	Nilsson, Nils, <Problem-solving Methods in Artificial
C00050 00015	Paul, Richard, G. Falk, Jerome Feldman, "The Computer
C00052 00016	Reddy, D. Raj., "Segmentation of Speech Sounds", <J. Acoust. Soc.
C00055 00017	Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, J. Lederberg,
C00064 00018	Tenenbaum, Jay, et al, "A Laboratory for Hand-eye Research",
C00065 00019	Waterman, Donald, "Generalization Learning Techniques for Automating
C00070 00020	.end
C00072 ENDMK
C⊗;
.s EXTERNAL PUBLICATIONS
     
Articles and books by Project members  are listed here alphabetically
by  lead  author.    Only  publications  following  the  individual's
affiliation with the Project are given.

.begin ref;
.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXCOL; NEXT EXREF; (EXREF&".  ") ⊃
⊗Allen, John, David Luckham, "An Interactive Theorem-Proving Program"
in Bernard Meltzer and Donald Michie (eds.), <Machine Intelligence 5>,
Edinburgh University Press, 1970.

⊗Ashcroft, Edward, Zohar Manna, "Formalization of Properties of
Parallel Programs", <Machine Intelligence 6>, Edinburgh Univ. Press,
1971.

⊗Ashcroft, Edward, Zohar Manna, "The Translation of `Go To' Programs
to `While' Programs", <Proc. IFIP Congress 1971>.

⊗Beauchamp, James, H. Von Foerster (eds.), <Music by Computers>,
John Wiley, New York, 1969.

⊗Becker, Joseph, "The Modeling of Simple Analogic and Inductive
Processes in a Semantic Memory System", <Proc. International Conf.
on Artificial Intelligence>, Washington, D.C., 1969.

⊗Biermann, Alan, Jerome Feldman, "On the Synthesis of
Finite-state Machines from Samples of Their Behavior", <IEEE
Transactions on Computers>, Vol. C-21, No. 6, pp. 592-596, June 1972.

⊗Biermann, Alan, "On the Inference of Turing Machines from Sample
Computations", <Artificial Intelligence J.>, Vol. 3, No. 3, Fall 1972.

⊗Binford, Thomas O., "Sensor Systems for Manipulation", in E.
Heer (Ed.), <Remotely Manned Systems>, Calif. Inst. of Technology,
1973.

⊗Binford, Thomas, Jay M. Tenenbaum, "Computer Vision",
<Computer (IEEE)>, May 1973.

⊗Bracci, Giampio, Marco Somalvico, "An Interactive Software System
for Computer-aided Design: An Application to Circuit Project", <Comm.
ACM>, September 1970.

⊗Buchanan, Bruce, Georgia Sutherland, "Heuristic Dendral: A Program
for Generating Hypotheses in Organic Chemistry", in Donald Michie
(ed.), <Machine Intelligence 4>, American Elsevier, New York, 1969.

⊗Buchanan, Bruce, Georgia Sutherland, Edward Feigenbaum, "Rediscovering
some Problems of Artificial Intelligence in the Context of Organic
Chemistry", in Bernard Meltzer and Donald Michie (eds), <Machine
Intelligence 5>, Edinburgh University Press, 1970.

⊗Buchanan, Bruce, T. Headrick, "Some Speculation about Artificial
Intelligence and Legal Reasoning", <Stanford Law Review>, November
1970.

⊗Buchanan, Bruce, A. M. Duffield, A. V. Robertson, "An Application
of Artificial Intelligence to the Interpretation of Mass Spectra",
in <Mass Spectrometry Techniques and Appliances>, George W.
Milne (ed), John Wiley & Sons, 1971.

⊗Buchanan, Bruce, Edward Feigenbaum, Joshua Lederberg, "A
Heuristic Programming Study of Theory Formation in Science", <Proc.
Second International Joint Conference on Arificial Intelligence
(2IJCAI)>, British Computer Society, Sept. 1971.

⊗Buchanan, Bruce, Joshua Lederberg, "The Heuristic DENDRAL
Program for Explaining Empirical Data", <Proc. IFIP Congress 1971>.

⊗Buchanan, Bruce, E. A. Feigenbaum, and N. S. Sridharan, "Heuristic
Theory Formation: Data Interpretation and Rule Formation", in
<Machine Intelligence 7>, Edinburgh University Press, 1972.

⊗Buchanan, Bruce G., "Review of Hubert Dreyfus' `What Computers Can't
Do': A Critique of Artificial Reason", <Computing Reviews>, January
1973.

⊗Buchs, A., A. Delfino, A. Duffield, C. Djerassi, B. Buchanan, E.
Feigenbaum, J. Lederberg, "Applications of Artificial
Intelligence for Chemical Inference VI. Approach to a General
Method of Interpreting Low Resolution Mass Spectra with a Computer",
Helvetica Chemica Acta, 53:6, 1970.

⊗Buchs, A., A. Duffield, G. Schroll, Carl Djerassi, A.
Delfino, Bruce Buchanan, Georgia Sutherland, Edward Feigenbaum, Joshua
Lederberg, "Applications of Artificial Intelligence for Chemical
Inference IV. Saturated Amines Diagnosed by their Low Resolution
Mass Spectra and Nuclear Magnetic Resonance Spectra", <J. Amer.
Chem. Soc.>, 92:23, November 1970.

⊗Cadiou, Jean M., Zohar Manna, "Recursive Definitions of Partial
Functions and their Computations", <ACM SIGPLAN Notices>, Vol. 7, No.
1, January 1972.

⊗Campbell, John, "Algebraic Computation of Radiative Corrections for
Electron-Proton Scattering", <Nuclear Physics>, Vol. B1, pp.
238-300, 1967.

⊗Campbell, J. A., Anthony Hearn, "Symbolic Analysis of Feynman
Diagrams by Computer", <Journal of Computational Physics> 5,
280-327, 1970.

⊗Chowning, John M., "The Simulation of Moving Sound Sources",
<Proc. Audio Engineering Soc. Convention>, May 1970.

⊗Churchman, C., Bruce Buchanan, "On the Design of Inductive
Systems: Some Philosophical Problems", <British Journal for the
Philosophy of Science>, 20, 1969, pp. 311-323.

⊗Colby, Kenneth, David Smith, "Dialogues between Humans and
Artificial Belief Systems", <Proc. International Conference on
Artificial Intelligence>, Washington, D.C., 1969.

⊗Colby, Kenneth, Larry Tesler, Horace Enea, "Experiments with
a Search Algorithm for the Data Base of a Human Belief System",
<Proc. International Conference on Artificial Intelligence>,
Washington, D.C., 1969.

⊗Colby, Kenneth Mark, "The Rationale for Computer-Based Treatment of
Language Difficulties in Nonspeaking Autistic Children", <Journal of
Autism and Childhood Schizophrenia>, Vol. 3, 254-260, 1970.

⊗Colby, Kenneth, "Mind and Brain Again", <Mathematical Biosciences>, Vol.
11, 47-52, 1970.

⊗Colby, Kenneth, Sylvia Weber, Franklin Hilf, "Artificial Paranoia",
<J. Art. Int.>, Vol. 2, No. 1, 1971.

⊗Colby, Kenneth, F. Hilf, S. Weber, H. C.
Kraemer, "Turing-like Indistinguishability Tests for the Validation
of a Computer Simulation of Paranoid Processes", <Artificial
Intelligence J.>, Vol. 3, No. 3, Fall 1972.

⊗Colby, Kenneth M., "The Rationale for Computer-based Treatment of
Language Difficulties in Nonspeaking Autistic Children", <Journal of
Autism and Childhood Schizophrenia>, Vol. 3, 254-260, 1973.

⊗Duffield, Alan, A. Robertson, Carl Djerassi, Bruce Buchanan, G.
Sutherland, Edward Feigenbaum, Joshua Lederberg, "Application
of Artificial Intelligence for Chemical Interference II.
Interpretation of Low Resolution Mass Spectra of Ketones", <J. Amer.
Chem. Soc.>, 91:11, May 1969.

⊗Falk, Gilbert, "Scene Analysis Based on Imperfect Edge Data", <Proc.
2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Falk, Gilbert, "Interpretation of Imperfect Line Data as a
Three-dimensional Scene", <Artificial Intelligence J.>, Vol. 3, No.
2, 1972.

⊗Feigenbaum, Edward, "Information Processing and Memory", in <Proc.
Fifth Berkeley Symposium on Mathematical Statistics and Probability>,
Vol. 4, U.C. Press, Berkeley, 1967.

⊗Feigenbaum, Edward, Joshua Lederberg, Bruce Buchanan, "Heuristic
Dendral", <Proc. International Conference on System Sciences>,
University of Hawaii and IEEE, University of Hawaii Press, 1968.

⊗Feigenbaum, Edward, "Artificial Intelligence: Themes in the Second
Decade", <Proc. IFIP Congress>, 1968.

⊗Feigenbaum, Edward, Bruce Buchanan, Joshua Lederberg, "On
Generality and Problem Solving: A Case Study using the DENDRAL
Program", <Machine Intelligence 6>, Edinburgh Univ. Press, 1971.

⊗Feldman, Jerome, D. Gries, "Translator Writing Systems",
<Comm. ACM>, February 1968.

⊗Feldman, Jerome, P. Rovner, "The Leap Language Data
Structure", <Proc. IFIP Congress>, 1968.

⊗Feldman, Jerome, "Machine Intelligence, review of Numbers I-III of
the Machine Intelligence series", <Information and Control>, 14,
490-492, 1969.

⊗Feldman, Jerome, "Towards Automatic Programming", <Preprints of
NATO Software Engineering Conference>, Rome, Italy, 1969.

⊗Feldman, Jerome, Paul Rovner, "An Algol-based Associative
Language", <Comm. ACM>, August 1969.

⊗Feldman, Jerome, Gary Feldman, G. Falk, Gunnar Grape, J. Pearlman,
I. Sobel, and J. Tenenbaum, "The Stanford Hand-Eye Project",
<Proc. International Conf. on Artificial Intelligence>, Washington,
D.C., 1969.

⊗Feldman, Jerome, "Getting a Computer to See Simple Scenes", <IEEE
Student Journal>, Sept. 1970.

⊗Feldman, Jerome, Alan Bierman, "A Survey of Grammatical
Inference", <Proc. International Congress on Pattern Recognition>,
Honolulu, January 1971, also in S, Watanbe (ed.), <Frontiers of
Pattern Recognition>, Academic Press, 1972.

⊗Feldman, Jerome, Robert Sproull, "System Support for the
Stanford Hand-eye System", <Proc. 2IJCAI>, Brit. Comp. Soc., Sept.
1971.

⊗Feldman, Jerome, et al, "The Use of Vision and Manipulation to
Solve the `Instant Insanity' Puzzle", <Proc. 2IJCAI>, Brit. Comp.
Soc., Sept. 1971.

⊗Feldman, Jerome, "Some Decidability Results on Grammatical
Inference and Complexity", <Information and Control>, Vol. 20, No.
3, pp. 244-262, April 1972.

⊗Feldman, Jerome, J. Low, D. Swinehart, R. Taylor,
"Recent Developments in SAIL, an ALGOL-based language for Artificial
Intelligence", <Proc. Fall Joint Computer Conference>, 1972.

⊗Floyd, Robert, "Toward Interactive Design of Correct Programs",
<Proc. IFIP Congress 71>, North Holland, Amsterdam, 1971.

⊗Garland, Stephan J., David Luckham, "Translating Recursive Schemes
into Program Schemes", <Proc. ACM Conf. on Proving Assertions about Programs>,
ACM SIGPLAN Notices, Vol. 7, No. 1, January 1972.

⊗Garland, Stephan J., David C. Luckham, "On the Equivalence of Schemes",
<Proc. 4th ACM Symposium on Theory of Computing>, Denver, Colorado, May 1972.

⊗Garland, Stephan J., David C. Luckham, "Program Schemes,
Recursion Schemes, and Formal Languages", <J. Computer and System
Sciences>, Vol. 7, No. 2, April 1973.

⊗Gips, James, "A New Reversible Figure", <Perceptual & Motor
Skills>, 34, 306, 1972.

⊗Goodman, Joseph, "Digital Image Formation from Electronically
Detected Holograms", <Applied Physics Letters>, August 1967.

⊗Goodman, Joseph, "Digital Image Formation from Electronically
Detected Holograms", in <Proc. SPIE Seminar on Digital Imaging
Techniques>, Soc. Photo-Optical Instrumentation Engineering,
Redondo Beach, California, 1967.

⊗Gruen, Richard, William Weiher, "Rapid Program Generation", <Proc.
DECUS Symposium>, Fall 1968.

⊗Hearn, Anthony, "Computation of Algebraic Properties of Elementary
Particle Reactions Using a Digital Computer", <Comm. ACM>, 9, pp.
573-577, August, 1966.

⊗Hearn, Anthony, "REDUCE, A User-Oriented Interactive System for
Algebraic Simplification", <Proc. ACM Symposium on Interactive
Systems for Experimental Applied Mathematics>, August 1967.

⊗Hearn, Anthony, "The Problem of Substitution", <Proc. IBM Summer
Institute on Symbolic Mathematics by Computer>, July 1968.

⊗Hearn, Anthony, "Applications of Symbol Manipulation in
Theoretical Physics", <Comm. ACM>, August 1971.

⊗Hilf, Franklin, Kenneth Colby, David Smith, W. Wittner,
William Hall, "Machine-Mediated Interviewing", <J. Nervous & Mental
Disease>, Vol. 152, No. 4, 1971.

⊗Hilf, Franklin, "Non-Nonverbal Communication and Psychiatric
Research", <Archives of General Psychiatry>, Vol. 27, November 1972.

⊗Hilf, Franklin, "Partially Automated Psychiatric Research Tool",
<J. Nervous and Mental Disease>, Vol. 155, No. 6, December 1972.

⊗Hueckel, Manfred, "An Operator which Locates Edges in Digitized
Pictures", <JACM>, January 1971.

⊗Ito, T., "Note on a Class of Statistical Recognition Functions",
<IEEE Trans. Computers>, January 1969.

⊗Kahn, Michael, Bernard Roth, "The Near-minimum-time Control of Open-loop
Articulated Kinematic Chains", <Trans. ASME>, Sept. 1971.

⊗Kaplan, Donald, "Some Completeness Results in the Mathematical Theory
of Computation", <ACM Journal>, January 1968.

⊗Kaplan, Donald, "Regular Expressions and the Completeness of Programs",
<J. Comp. & System Sci.>, Vol. 3, No. 4, 1969.

⊗Kieburtz, Richard, David Luckham, "Compatability and Complexity of
Refinements of the Resolution Principle", <SIAM J. on Computing>,
1-4, 1973.

⊗Kling, Robert, "A Paradigm for Reasoning by Analogy", <Proc. 2IJCAI>,
Brit. Comp. Soc., Sept. 1971.

⊗Knuth, Donald E., <The Art of Computer Programming, Vol. 2,
Seminumerical Algorithms>, Addison-Wesley, Menlo Park, Calif., 1969.

⊗Knuth, Donald E., "An Empirical Study of FORTRAN Programs", <Software
-- Practice and Experience>, Vol. 1, 105-133, 1971.

⊗Knuth, Donald E., "Ancient Babylonian Algorithms", <Comm. ACM>, July
1972.

⊗Knuth, Donald E., <The Art of Computer Programming, Vol. 3, Sorting
and Searching>, Addison-Wesley, Menlo Park, Calif., 1973.

⊗Lederberg, Joshua, "Hamilton Circuits of Convex Trivalent Polyhedra",
<American Mathematical Monthly> 74, 522, May 1967.

⊗Lederberg, Joshua, Edward Feigenbaum, "Mechanization of
Inductive Inference in Organic Chemistry", in B. Kleinmuntz (ed.),
<Formal Representation of Human Judgment>, John Wiley, New York,
1968.

⊗Lederberg, Joshua, "Topology of Organic Molecules", National
Academy of Science, <The Mathematical Sciences: a Collection of
Essays>, MIT Press, Cambridge, 1969.

⊗Lederberg, Joshua, Georgia Sutherland, Bruce Buchanan, Edward
Feigenbaum, A. Robertson, A. Duffield, Carl Djerassi,
"Applications of Artificial Intelligence for Chemical Inference I.
The Number of Possible Organic Compounds: Acyclic Structures
Containing C, H, O, and N", <J. Amer. Chem. Soc.>, 91:11, May 1969.

⊗Lederberg, Joshua, Georgia Sutherland, Bruce Buchanan, Edward
Feigenbaum, "A Heuristic Program for Solving a Scientific Inference
Problem: Summary of Motivation and Implementation", in M. Mesarovic
(ed.), <Theoretical Approaches to Non-numerical Problem Solving>,
Springer-Verlag, New York, 1970.

⊗Lederberg, J., "Rapid Calculation of Molecular Formulas from
Mass Values", <J. Chemical Education>, 49, 613, 1972.

⊗London, Ralph, "Correctness of a Compiler for a LISP Subset", <ACM
SIGPLAN Notices>, Vol. 7, No. 1, January 1972.

⊗Luckham, David, "Refinement Theorems in Resolution Theory", <Proc.
1968 IRIA Symposium in Automatic Deduction>, Versailles, France,
Springer-Verlag, 1970.

⊗Luckham, David, D. Park, M. Paterson, "On Formalised
Computer Programs", <J. Comp. & System Sci.>, Vol. 4, No. 3,
June 1970.

⊗Luckham, David, Nils Nilsson, "Extracting Information from
Resolution Proof Trees", <Artificial Intelligence Journal>, Vol. 2,
No. 1, pp. 27-54, June 1971.

⊗Manna, Zohar, "Properties of Programs and the First Order
Predicate Calculus", <J. ACM>, Vol. 16, No. 2, April 1969.

⊗Manna, Zohar, "The Correctness of Programs", <J. System and
Computer Sciences>, Vol. 3, No. 2, May 1969.

⊗Manna, Zohar, John McCarthy, "Properties of Programs and
Partial Function Logic" in Bernard Meltzer and Donald Michie (eds.),
<Machine Intelligence 5>, Edinburgh University Press, 1970.

⊗Manna, Zohar, "The Correctness of Non-Deterministic Programs",
<Artificial Intelligence Journal>, Vol. 1, No. 1, 1970.

⊗Manna, Zohar, "Termination of Algorithms Represented as
Interpreted Graphs", <AFIPS Conference Proc. (SJCC)>, Vol. 36, 1970.

⊗Manna, Zohar, "Second-order Mathematical Theory of Computation",
<Proc. ACM Symposium on Theory of Computing>, May 1970.

⊗Manna, Zohar, Amir Pnueli, "Formalization of Properties of
Functional Programs", <J. ACM>, Vol. 17, No. 3, July 1970.

⊗Manna, Zohar, R. Waldinger, "Toward Automatic Program
Synthesis", <Comm. ACM>, March 1971.

⊗Manna, Zohar, "Mathematical Theory of Partial Correctness", <J.
Comp. & Sys. Sci.>, June 1971.

⊗Manna, Zohar, S. Ness, J. Vuillemin, "Inductive Methods for
Proving Properties of Programs", <ACM SIGPLAN Notices>, Vol. 7, No.
4, January 1972.

⊗Manna, Zohar, J. Vuillemin, "Fixpoint Approach to the Theory of
Computation", <Comm. ACM>, July 1972.

⊗McCarthy, John, "Towards a Mathematical Theory of Computation", in
<Proc. IFIP Congress 62>, North-Holland, Amsterdam, 1963.

⊗McCarthy, John, "A Basis for a Mathematical Theory of Computation",
in P. Biaffort and D. Hershberg (eds.), <Computer Programming and
Formal Systems>, North-Holland, Amsterdam, 1963.

⊗McCarthy, John, S. Boilen, E. Fredkin, J.C.R. Licklider,
"A Time-Sharing Debugging System for a Small Computer", <Proc.
AFIPS Conf.> (SJCC), Vol. 23, 1963.

⊗McCarthy, John, F. Corbato, M. Daggett, "The Linking
Segment Subprogram Language and Linking Loader Programming
Languages", <Comm. ACM>, July 1963.

⊗McCarthy, John, "Problems in the Theory of Computation", <Proc. IFIP
Congress 1965>.

⊗McCarthy, John, "Time-Sharing Computer Systems", in W. Orr (ed.),
<Conversational Computers>, Wiley, 1966.

⊗McCarthy, John, "A Formal Description of a Subset of Algol", in T.
Steele (ed.), <Formal Language Description Languages for Computer
Programming>, North-Holland, Amsterdam, 1966.

⊗McCarthy, John, "Information", <Scientific American>, September
1966.

⊗McCarthy, John, "Computer Control of a Hand and Eye", in <Proc.
Third All-Union Conference on Automatic Control (Technical
Cybernetics)>, Nauka, Moscow, 1967 (Russian).

⊗McCarthy, John, D. Brian, G. Feldman, and J. Allen, "THOR -- A
Display Based Time-Sharing System", <Proc. AFIPS Conf.> (FJCC), Vol.
30, Thompson, Washington, D.C., 1967.

⊗McCarthy, John, James Painter, "Correctness of a Compiler for
Arithmetic Expressions", Amer. Math. Soc., <Proc. Symposia in
Applied Math., Math. Aspects of Computer Science>, New York, 1967.

⊗McCarthy, John, "Programs with Common Sense", in Marvin Minsky
(ed.), <Semantic Information Processing>, MIT Press, Cambridge, 1968.

⊗McCarthy, John, Lester Earnest, D. Raj. Reddy, Pierre Vicens, "A
Computer with Hands, Eyes, and Ears", <Proc. AFIPS Conf.> (FJCC),
1968.

⊗McCarthy, John, Patrick Hayes, "Some Philosophical Problems from the
Standpoint of Artificial Intelligence", in Donald Michie (ed.),
<Machine Intelligence 4>, American Elsevier, New York, 1969.

⊗McCarthy, John, "The Home Information Terminal", <Man and Computer,
Proc. Int. Conf., Bordeaux, 1970>, S. Karger, New York, 1972.

⊗Milner, Robin, "An Algebraic Definition of Simulation between
Programs", <Proc. 2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Milner, Robin, "Implementatiion and Application of Scott's Logic
for Computable Functions", <ACM SIGPLAN NOTICES>, Vol. 7, No. 1, January 1972.

⊗Milner, Robin, Richard Weyhrauch, "Proving Compiler Correctness
in a Mechanized Logic", <Machine Intelligence 7>, Edinburgh
University Press, 1972.

⊗Montanari, Ugo, "Continuous Skeletons from Digitized Images",
<JACM>, October 1969.

⊗Montanari, Ugo, "A Note on Minimal Length Polygonal Approximation
to a Digitized Contour", <Comm. ACM>, January 1970.

⊗Montanari, Ugo, "On Limit Properties in Digitization Schemes",
<JACM>, April 1970.

⊗Montanari, Ugo, "Separable Graphs, Planar Graphs and Web
Grammars", <Information and Control>, May 1970.

⊗Montanari, Ugo, "Heuristically Guided Search and Chromosome
Matching", <J. Artificial Intelligence>, Vol. 1, No. 4, December
1970.

⊗Montanari, Ugo, "On the Optimal Detection of Curves in Noisy
Pictures", <Comm. ACM>, May 1971.

⊗Moorer, James A., "Dual Processing for the PDP-6/10", <Decuscope>,
Vol. 8, No. 3, 1969.

⊗Moorer, James A., "Music and Computer Composition", <Comm. ACM>,
January 1972.

⊗Nilsson, Nils, <Problem-solving Methods in Artificial
Intellegence>, McGraw-Hill, New York, 1971.

⊗Paul, Richard, G. Falk, Jerome Feldman, "The Computer
Representation of Simply Described Scenes", <Proc. 2nd Illinois
Graphics Conference>, Univ. Illinois, April 1969.

⊗Paul, Richard, Gilbert Falk, Jerome Feldman, "The Computer
Description of Simply Described Scenes", in <Pertinent Concepts in
Computer Graphics>, J. Neivergelt and M. Faiman (eds.), U.
Illinois Press, 1969.

⊗Paul, Richard, "Trajectory Control of a Computer Arm", <Proc.
2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Pingle, Karl, J. Singer, and W. Wichman, "Computer Control of a
Mechanical Arm through Visual Input", <Proc. IFIP Congress> 1968,
1968.

⊗Pingle, Karl, "Visual Perception by a Computer", <Automatic
Interpretation and Classification of Images>, Academic Press, New
York, 1970.

⊗Pingle, Karl, J. Tenenbaum, "An Accomodating Edge Follower",
<Proc. 2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Reddy, D. Raj., "Segmentation of Speech Sounds", <J. Acoust. Soc.
Amer.>, August 1966.

⊗Reddy, D. Raj., "Phoneme Grouping for Speech Recognition", <J. Acoust.
Soc. Amer.>, May 1967.

⊗Reddy, D. Raj., "Pitch Period Determination of Speech Sounds", <Comm.
ACM>, June 1967.

⊗Reddy, D. Raj., "Computer Recognition of Connected Speech", <J. Acoust.
Soc. Amer.>, August 1967.

⊗Reddy, D. Raj., "Computer Transcription of Phonemic Symbols", <J.
Acoust. Soc. Amer.>, August 1968.

⊗Reddy, D. Raj., "Consonantal Clustering and Connected Speech
Recognition", <Proc. Sixth International Congress on Acoustics>,
Vol. 2, pp. C-57 to C-60, Tokyo, 1968.

⊗Reddy, D. Raj., Ann Robinson, "Phoneme-to-Grapheme Translation of
English", <IEEE Trans. Audio and Electroacoustics>, June 1968.

⊗Reddy, D. Raj., Pierre Vicens, "Procedure for Segmentation of
Connected Speech", <J. Audio Eng. Soc.>, October 1968.

⊗Roth, Bernard, "Design, Kinematics, and Control of Computer-controlled
Manipulators", <Proc. 6th All Union Conference on New Problems in
Theory of Machines & Mechanics>, Leningrad, Jan. 1971.

⊗Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, J. Lederberg,
E. Levinthal, L. Quam, R. Tucker, J. Pollack, B. Smith,
"Variable Features on Mars:
Preliminary Mariner 9 Results", <Icarus>, 17, 346-372, 1972.

⊗Samuel, Arthur, "Studies in Machine Learning Using the Game of
Checkers, II-Recent Progress", <IBM Journal>, November 1967.

⊗Schank, Roger, Larry Tesler, "A Conceptual Parser for Natural
Language", <Proc. International Joint Conference on Artificial
Intelligence>, Washington, D.C., 1969.

⊗Schank, Roger, "Finding the Conceptual Content and Intention in an
Utterance in Natural Language Conversation", <Proc. 2IJCAI>, Brit.
Comp. Soc., 1971.

⊗Schank, Roger, "Conceptual Dependency: a Theory of Natural Language
Understanding", <Cognitive Psychology>, Vol 3, No. 4, 1972.

⊗Schank, Roger C., Neil M. Goldman, "Theoretical Considerations in
Text Processing", <Conf. Proc. Computer Text Processing and Scientific
Research (1972)>, O.N.R., Pasadena, Calif., March 1973.

⊗Schroll, G., A. Duffield, Carl Djerassi, Bruce Buchanan, G.
Sutherland, Edward Feigenbaum, Joshua Lederberg, "Applications
of Artificial Intelligence for Chemical Inference III. Aliphatic
Ethers Diagnosed by Their Low Resolution Mass Spectra and NMR Data",
<J. Amer. Chem. Soc.>, 91:26, December 1969.

⊗Sheikh, Y., A. Buchs, A Delfino, Bruce Buchanan, G. Sutherland,
Joshua Lederberg, "Applications of Artificial Intelligence for
Chemical Inference V. An Approach to the Computer Generation of
Cyclic Structures. Differentiation Between All the Possible
Isometric Ketones of Composition C6H10O", <Organic Mass
Spectrometry>, Vol. 4 pp.493-501, 1970.

⊗Silvestri, Anthony, Joseph Goodman, "Digital Reconstruction of
Holographic Images", 1968 NEREM Record, IEEE, Vol. 10, pp.
118-119. 1968.

⊗Slagle, James, Carl Farrell, "Experiments in Automatic Learning
for a Multiputpose Heuristic Program", <Comm. ACM>, February 1971.

⊗Smith, D. H., B. G. Buchanan, R. S. Engelmore, A. M. Duffield, A. Yeo,
E. A. Feigenbaum, J. Lederberg, C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference VIII.  An approach to
the Computer Interpretation of the High Resolution Mass Spectra of
Complex Molecules. Structure Elucidation of Estrogenic Steroids",
<Journal of the American Chemical Society>, 94, 5962-5971, 1972.

⊗Smith, Leland, "SCORE -- A Musician's Approach to Computer Music",
<J. Audio Eng. Soc.>, Jan./Feb. 1972.

⊗Sullivan, S. Brodsky and J., "W-Boson Contribution to the
Anomalous Magnetic Moment of the Muon", <Phys Rev> 156, 1644, 1967.

⊗Sutherland, Georgia, G. W. Evans, G. F.Wallace, <Simulation
Using Digital Computers>, Prentice-Hall, Engelwood Cliffs, N.J.,
1967.

⊗Tenenbaum, Jay, et al, "A Laboratory for Hand-eye Research",
<Proc. IFIP Congress>, 1971.

⊗Tesler, Larry, Horace Enea, Kenneth Colby, "A Directed Graph
Representation for Computer Simulation of Belief Systems", <Math.
Bio.> 2, 1968.

⊗Waterman, Donald, "Generalization Learning Techniques for Automating
the Learning of Heuristics", <J. Artificial Intelligence>, Vol. 1,
No. 1/2.

⊗Weyhrauch, Richard, Robin Milner, "Program Semantics and
Correctness in a Mechanized Logic", <Proc. USA-Japan Computer
Conference>, Tokyo, 1972.

⊗Wilks, Yorick, "Decidability and Natural Language", <Mind>, Vol. LXXX,
No. 320, October 1971.

⊗Wilks, Yorick, <Grammar, Meaning, and the Machine Analysis of Language>,
Routledge, Boston, 1972.

⊗Wilks, Yorick, "Semantic Considerations in
Text Processing", <Conf. Proc. Computer Text Processing and Scientific
Research (1972)>, O.N.R., Pasadena, Calif., March 1973.

.end